Automated Reasoning : Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings
ISBN: 9783540259848
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.